|
In mathematics, the Atiyah–Bott fixed-point theorem, proven by Michael Atiyah and Raoul Bott in the 1960s, is a general form of the Lefschetz fixed-point theorem for smooth manifolds ''M'', which uses an elliptic complex on ''M''. This is a system of elliptic differential operators on vector bundles, generalizing the de Rham complex constructed from smooth differential forms which appears in the original Lefschetz fixed-point theorem. ==Formulation== The idea is to find the correct replacement for the Lefschetz number, which in the classical result is an integer counting the correct contribution of a fixed point of a smooth mapping :''f'':''M'' → ''M''. Intuitively, the fixed points are the points of intersection of the graph of ''f'' with the diagonal (graph of the identity mapping) in ''M''×''M'', and the Lefschetz number thereby becomes an intersection number. The Atiyah–Bott theorem is an equation in which the LHS must be the outcome of a global topological (homological) calculation, and the RHS a sum of the local contributions at fixed points of ''f''. Counting codimensions in ''M''×''M'', a transversality assumption for the graph of ''f'' and the diagonal should ensure that the fixed point set is zero-dimensional. Assuming ''M'' a closed manifold should ensure then that the set of intersections is finite, yielding a finite summation as the RHS of the expected formula. Further data needed relates to the elliptic complex of vector bundles ''E''''j'', namely a bundle map from :φ''j'':''f''−1 ''E''''j'' → ''E''''j'' for each ''j'', such that the resulting maps on sections give rise to an endomorphism of the elliptic complex ''T''. Such a ''T'' has its ''Lefschetz number'' :''L''(''T'') which by definition is the alternating sum of its traces on each graded part of the homology of the elliptic complex. The form of the theorem is then :''L''(''T'') = Σ (Σ (−1)''j'' trace φ''j'',''x'')/δ(''x''). Here trace φ''j'',''x'' means the trace of φ''j'', at a fixed point ''x'' of ''f'', and δ(''x'') is the determinant of the endomorphism I − ''Df'' at ''x'', with ''Df'' the derivative of ''f'' (the non-vanishing of this is a consequence of transversality). The outer summation is over the fixed points ''x'', and the inner summation over the index ''j'' in the elliptic complex. Specializing the Atiyah–Bott theorem to the de Rham complex of smooth differential forms yields the original Lefschetz fixed-point formula. A famous application of the Atiyah–Bott theorem is a simple proof of the Weyl character formula in the theory of Lie groups. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Atiyah–Bott fixed-point theorem」の詳細全文を読む スポンサード リンク
|